# arch/x86_64.mk - x86-64 architecture-specific makefile.
# Copyright (C) 2007  Mikhail Vorozhtsov
# See the LICENSE section of the README file for details.

# $Id$

PLATFORMS = pc

override CXXFLAGS := $(CXXFLAGS) -mno-red-zone

ASM_SRCS := $(ASM_SRCS) $(call anima-arch-src,entry.S)

CXX_SRCS := \
  $(CXX_SRCS) \
  $(call anima-arch-src,init32.cc cmdline.cc mm.cc cpu.cc space.cc thread.cc)

ASFLAGS_$(call anima-arch-src,init32.cc) = -m32
CPPFLAGS_$(call anima-arch-src,init32.cc) = -DIN_32BIT_CODE
BFD_$(call anima-arch-src,init32.cc) = elf64-x86-64

